-- No file names should be part of the output generated by the
-- following command.
ioTCM currentFile NonInteractive Direct (Cmd_tokenHighlighting currentFile Keep)
